Buy Used and New Helmut Veith Books

Handbook of Model Checking

by Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem

ISBN 13: 9783319105741

Format: Hardcover (1260 pages)
Publisher: Springer
Published: 28 May 2016

Save for later

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings: 8044 (Lecture Notes in Computer Science)

by Natasha Sharygina,Helmut Veith

ISBN 13: 9783642397981

Format: Paperback (1040 pages)
Publisher: Springer
Published: 14 Jul 2013

Save for later

Model Checking (Cyber Physical Systems Series)

by Edmund M. Clark Jr.,Orna Grumberg,Daniel Kroening,Doron Peled,Helmut Veith

ISBN 13: 9780262038836

Format: Hardcover (424 pages)
Publisher: MIT Press
Published: 21 Dec 2018

Save for later